Computable function - PDFSEARCH.IO - Document Search Engine

Computable function
Results: 170

#	Item
111	Applied Mathematics and Computation xxx[removed]xxx–xxx Contents lists available at ScienceDirect Applied Mathematics and Computation journal homepage: www.elsevier.com/locate/amc Add to Reading List Source URL: scribblethink.org Language: English - Date: 2012-11-02 20:38:30 Applied mathematics Theory of computation Randomness Algorithmic information theory Information theory Kolmogorov complexity Algorithmically random sequence Complexity Computable function Theoretical computer science Mathematics Computability theory
112	THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY’S THEOREM FOR PAIRS DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., BJØRN KJOS-HANSSEN, STEFFEN LEMPP, AND THEODORE A. SLAMAN Abstract. We study the reverse Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:55:43 Mathematics Theory of computation PA degree Computable function Reverse mathematics Model theory Forcing Combinatory logic Primitive recursive function Computability theory Mathematical logic Theoretical computer science
113	On Self-Embeddings of Computable Linear Orderings ? Rodney G. Downey a , Carl Jockusch b and Joseph S. Miller a a School of Mathematical and Computing Sciences Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:54:43 Mathematical logic Theory of computation Computable function Halting problem Turing reduction Reverse mathematics Embedding Ordinal number Computability theory Mathematics Theoretical computer science
114	CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS VALENTINA S. HARIZANOV, CARL G. JOCKUSCH, JR., AND JULIA F. KNIGHT Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show t Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:58:40 Order theory Computability theory Integer sequences Antichain Functions and mappings Computable function Tree Function Model theory Mathematics Mathematical logic Theory of computation
115	On Development of Systems for Number Theoretic Calculation and Related Problems MATSUI Tetsushi 2 Add to Reading List Source URL: tnt.math.se.tmu.ac.jp Language: English - Date: 2007-12-02 04:39:15 Applied mathematics Theory of computation Models of computation Alan Turing Computable number Computable function Turing machine Algorithm Polynomial Theoretical computer science Mathematics Computability theory
116	Chapter 2 1 Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing1 Add to Reading List Source URL: www.bu.edu Language: English - Date: 2012-09-21 17:06:53 Computer science Computable number Halting problem Computable function Description number Turing machine Alan Turing Computability Entscheidungsproblem Computability theory Theoretical computer science Theory of computation
117	Brief curriculum vitae Name: Manuel Lameiras de Figueiredo Campagnolo Place and date of birth: Alcobaca, November 8, 1965 Nationalities: Portuguese and French Institutional address: Instituto Superior de Agronomia, Tapa Add to Reading List Source URL: www.medfor.eu Language: English - Date: 2011-08-02 14:35:00 Mathematics Algorithm Mathematical logic Theoretical computer science Instituto Superior de Agronomia Computable function Applied mathematics Instituto Superior Técnico Isa Technical University of Lisbon Theory of computation Computability theory
118	Generalized tabular reducibilities in infinite levels of the Ershov difference hierarchy. Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:19 Theory of computation Theoretical computer science Functions and mappings Constructible universe Proof theory Computable function Ordinal number Function Linear temporal logic Mathematics Mathematical logic Computability theory
119	Splitting and Nonsplitting in the Σ02 Enumeration Degrees∗ M. M. Arslanov1 , S. B. Cooper2 , I. Sh. Kalimullin1 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2009-10-12 05:07:37 Mathematical logic Symbol Logic Computable function Structure Model theory Busy beaver Spinor Theory of computation Mathematics Computability theory
120	Computability on topological spaces via domain representations Viggo Stoltenberg-Hansen Department of Mathematics, Uppsala University, Box 480, S[removed]Uppsala, Sweden Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2007-03-22 05:15:38 Functions and mappings Linear algebra Computability theory Abstract algebra Domain theory Computable function Viggo Stoltenberg-Hansen Algorithm Function Mathematics Algebra Mathematical structures

UPDATE